Minimal (Disagreement About) Semantics
ثبت نشده
چکیده
منابع مشابه
Ethical Agreement and Disagreement about Obesity Prevention Policy in the United States
An active area of public health policy in the United States is policy meant to promote healthy eating, reduce overconsumption of food, and prevent overweight/obesity. Public discussion of such obesity prevention policies includes intense ethical disagreement. We suggest that some ethical disagreements about obesity prevention policies can be seen as rooted in a common concern with equality or w...
متن کاملA New Interpretation of the Semantics of "Moral Obligation" from Allame Tabatabaie's Viewpoint
The most important part in analyzing moral concepts includes those used as predicate in moral sentences covering moral concepts of valuation and obligation. Moral concepts in the field of values include those like “good” and “bad” while obligatory concepts include “ought to” and “ought no” and “duty”. Many papers have been written about “moral obligation”; however, dissociating the area of sema...
متن کاملMinimal function graphs are
R esum e: The minimal function graph semantics of Jones and Mycroft is a standard denotational semantics modiied to include only`reachable' parts of a program. We show that it may be expressed directly in terms of the standard semantics without the need for instrumentation at the expression level and, in doing so, bring out a connection with strictness. This also makes it possible to prove a st...
متن کاملEthical Standards to Guide the Development of Obesity Policies and Programs; Comment on “Ethical Agreement and Disagreement about Obesity Prevention Policy in the United States”
The recent report by Barnhill and King about obesity prevention policy raises important issues for discussion and analysis. In response, this article raises four points for further consideration. First, a distinction between equality and justice needs to be made and consistently maintained. Second, different theories of justice highlight one additional important source of disagreement about the...
متن کاملA Logic for Reasoning about Well-Founded Semantics: Preliminary Report
The paper presents a preliminary solution to a long-standing problem in the foundations of well-founded semantics for logic programs. The problem addressed is this: which logic can be considered adequate for well-founded semantics (WFS) in the sense that its minimal models (appropriately defined) coincide with the partial stable models of a logic program? We approach this problem by identifying...
متن کامل